I am a third-year PhD student at CMU, working with Aayush Jain and Riad Wahby. Before that, I got my MA in Math at the University of Michigan, where I worked with Paul Grubbs. I did my undergrad in Math & CS at Columbia University.
Research Interests: My research focuses on guaranteeing the security of zero-knowledge proof systems in practice, and building advanced cryptographic primitives that are secure against quantum computers.
My research is generously supported by the Quad Fellowship, the CyLab Presidential Fellowship, and funding from the Ethereum Foundation.
Preprints
- More Optimizations to Sum-Check Proving
Quang Dao, Justin Thaler, ePrint 2024.
- Constraint-Packing and the Sum-Check Protocol over Binary Tower Fields
Quang Dao, Justin Thaler, ePrint 2024.
Publications
(* = first author(s). The rest are alphabetical order)
- Verifying Jolt zkVM Lookup Semantics
Carl Kwan*, Quang Dao*, Justin Thaler, Financial Cryptography 2025.
- Lossy Cryptography from Code-Based Assumptions
Quang Dao, Aayush Jain, CRYPTO 2024. Best Paper from Early Career Researchers!
- Non-Interactive Zero-Knowledge from LPN and MQ
Quang Dao, Aayush Jain, Zhengzhong Jin, CRYPTO 2024.
- Multi-party Homomorphic Secret Sharing and Sublinear MPC from Sparse LPN
Quang Dao, Yuval Ishai, Aayush Jain, Huijia Lin, CRYPTO 2023.
- Weak Fiat-Shamir Attacks on Modern Proof Systems
Quang Dao*, Jim Miller*, Opal Wright, Paul Grubbs, IEEE S&P 2023. Distinguished Paper Award!
- Spartan and Bulletproofs are simulation-extractable (for free!)
Quang Dao, Paul Grubbs, EUROCRYPT 2023.
- Rowmotion Orbits of Trapezoid Posets Quang Dao, Julian Wellman, Calvin Yost-Wolff, Sylvester W. Zhang, The Electronic Journal of Combinatorics (2022): P2-29.
Miscellaneous
- Extended Nestohedra and their Face Numbers Quang Dao, Christina Meng, Julian Wellman, Zixuan Xu, Calvin Yost-Wolff, Teresa Yu, preprint